Contract-Based Slicing
نویسندگان
چکیده
In the last years, the concern with the correctness of programs has been leading programmers to enrich their programs with annotations following the principles of design-by-contract, in order to be able to guarantee their correct behaviour and to facilitate reuse of verified components without having to reconstruct proofs of correctness. In this paper we adapt the idea of specification-based slicing to the scope of (contract-based) program verification systems and behaviour specification languages. In this direction, we introduce the notion of contractbased slice of a program and show how any specification-based slicing algorithm can be used as the basis for a contract-based slicing algorithm.
منابع مشابه
GammaPolarSlicer A Contract-based Tool to help on Reuse
In software development, it is often desirable to reuse existing software components. This has been recognized since 1968, when Douglas Mcllroy of Bell Laboratories proposed basing the software industry on reuse. Despite the failures in practice, many efforts have been made to make this idea successful. In this context, we address the problem of reusing annotated components as a rigorous way of...
متن کاملInclusive Dijet Production at HERA: Direct Photon Cross Sections in Next-To-Leading Order QCD
We have calculated inclusive two-jet cross sections in next-to-leading order QCD for direct photoproduction in low Q2 ep collisions at HERA. Infrared and collinear singularities in real and virtual contributions are cancelled with the phase space slicing method. Analytical formulas for the different contributions giving the dependence on the slicing parameter are presented. Various oneand two-j...
متن کاملSafe Integration of Annotated Components in Open Source Projects
The decision of using existing software components versus building from scratch custom software is one of the most complex and important choices of the entire development/integration process. However, the reuse of software components raises a spectrum of issues, from requirements negotiation to product selection and integration. The correct tradeoff is reached after having analyzed advantages a...
متن کاملA Review of Model Based Slicing
Software testing is important to reduce errors, maintenance and overall software costs. Testing the software is an activity whose aims to evaluate the feature or competency of system and determining that whether it meets required prospects. To comfort this one way is program slicing, this method is to break down the large programs into smaller ones and other is model based slicing that break do...
متن کاملModeling and Numerical Analysis of Revenue Sharing Contract Based on the Stackelberge Game Theory
Considered supply chain in this article consists of one vendor and multiple retailers where the vendor applies vendor managed inventory. Considering vendor as a leader and retailers as followers, Stackelberg game theory is applied for modeling and analyzing this system. A general mixed integer nonlinear model is developed which can optimizes the performance of the system under revenue sharing c...
متن کامل